Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
841	Typeful Programming Luca Cardelli Digital Equipment Corporation, Systems Research Center Add to Reading List Source URL: www.lucacardelli.name Language: English - Date: 2007-10-27 12:43:49 Programming language theory Subtype polymorphism Type system Polymorphism Strong typing Type safety Parametric polymorphism Data type System F Type theory Software engineering Computing
842	PC World Russia CD, September 2005 Add to Reading List Source URL: oberon2005.oberoncore.ru Language: English - Date: 2011-01-31 00:52:29 Data types Pointer Component Pascal Oberon-2 Pascal Oberon Array data type Type system Type safety Software engineering Computing Computer programming
843	An integrated approach to implement system engineering and safety engineering processes: SASHA Project Hycham Aboutaleb1,2, Mohamed Bouali1, Morayo Adedjouma3, Emilia Suomalainen1 Add to Reading List Source URL: www.k-inside.com Language: English - Date: 2012-02-13 04:57:13 Risk Reliability engineering Failure mode and effects analysis Fault tree analysis System safety Functional Safety IEC 61508 Software development process Safety Integrity Level Safety Systems engineering Safety engineering
844	Computer System Reliability and Nuclear War Alan Borning Add to Reading List Source URL: www-ee.stanford.edu Language: English - Date: 2008-04-28 22:09:16 Software quality Design for X Risk analysis Safety engineering Reliability engineering Software bug Nuclear warfare Error message User error Systems engineering Systems science Computing
845	Stroustrup Simplifying concepts Add to Reading List Source URL: www.open-std.org Language: English - Date: 2009-06-21 22:54:52 C++ Type theory Generic programming Data types Cross-platform software Concepts Template Type system Type safety Software engineering Computing Computer programming
846	CZECH SPORT AIRCRAFT OFFICE: ROHÁČOVA[removed], 130 00, PRAHA 3, CZECH REPUBLIC Add to Reading List Source URL: www.midislandair.com Language: English - Date: 2012-04-10 10:38:16 Speed sensors Light-sport aircraft Czech Sport Aircraft Pitot-static system Computer programming CZAW SportCruiser Kunovice Czech Republic Air safety Computing Aircraft instruments Software engineering
847	ROAD SAFETY PRODUCTS X-TENSION™ \| Add to Reading List Source URL: www.barriersystemsinc.com Language: English - Date: 2013-05-24 09:07:01 Road transport Safety equipment Ion channels Street furniture Traffic barrier Transport engineering Gating Terminal emulator X Window System Transport Software Land transport
848	Microsoft Word - RBO[removed]Joint MCAR White Paper PA approved Add to Reading List Source URL: www.cse.wustl.edu Language: English - Date: 2009-04-10 11:33:10 Software quality Safety Design for X Avionics DO-178B Reliability engineering Safety engineering Embedded system Middleware Systems engineering Systems science Software development
849	PDF Document Add to Reading List Source URL: www.system-safety.org Language: English - Date: 2010-02-16 23:06:45 Systems theory Software quality Avionics Software engineering Software system safety Hazard analysis Reliability engineering System safety Safety engineer Systems engineering Systems science Safety engineering
850	PDF Document Add to Reading List Source URL: www.jot.fm Language: English - Date: 2007-08-10 10:59:14 Mathematics Computing Object-oriented programming Models of computation Polymorphism Lambda calculus Type system Type safety Subtype polymorphism Type theory Software engineering Data types

UPDATE